1

Number theoretic concepts and recursive well-orderings

Year:
1960
Language:
english
File:
PDF, 1.08 MB
english, 1960
2

Languages in Which Self Reference is Possibleby Raymond M. Smullyan

Year:
1959
Language:
english
File:
PDF, 168 KB
english, 1959
3

Degrees of Formal Systems

Year:
1958
Language:
english
File:
PDF, 178 KB
english, 1958
4

On the Independence of the Axiom of Constructibility

Year:
1959
Language:
english
File:
PDF, 350 KB
english, 1959
5

On Degrees of Unsolvability

Year:
1959
Language:
english
File:
PDF, 1.10 MB
english, 1959
6

The Mathematical Work of S. C. Kleene

Year:
1995
Language:
english
File:
PDF, 4.04 MB
english, 1995
7

A Theorem on Minimal Degrees

Year:
1966
Language:
english
File:
PDF, 520 KB
english, 1966
8

Open Sentences and the Induction Axiom

Year:
1958
Language:
english
File:
PDF, 608 KB
english, 1958
9

Degrees of Models

Year:
1960
Language:
english
File:
PDF, 544 KB
english, 1960
10

Martin's Axiom

Year:
1975
Language:
english
File:
PDF, 921 KB
english, 1975
11

An uncountable set of incomparable degrees

Year:
1960
Language:
english
File:
PDF, 149 KB
english, 1960
12

Non-bounding constructions

Year:
1990
Language:
english
File:
PDF, 957 KB
english, 1990
13

Priority constructions

Year:
1996
Language:
english
File:
PDF, 631 KB
english, 1996
14

A Relative Consistency Proof

Year:
1954
Language:
english
File:
PDF, 621 KB
english, 1954
15

Die Hohen Unendlichkeiten und die Axiomatik der Mengenlehreby P. Bernays

Year:
1968
Language:
english
File:
PDF, 190 KB
english, 1968
16

A Hierarchy Based on a Type Two Object

Year:
1968
Language:
english
File:
PDF, 610 KB
english, 1968
17

Quasicreative Sets

Year:
1957
Language:
english
File:
PDF, 134 KB
english, 1957
19

Degrees of classes of RE sets

Year:
1976
Language:
english
File:
PDF, 252 KB
english, 1976
21

The class of recursive functions

Year:
1958
Language:
english
File:
PDF, 227 KB
english, 1958
24

On the Consistency of an Axiom of Enumerabilityby Václav Edvard Beneš

Year:
1959
Language:
english
File:
PDF, 308 KB
english, 1959
25

A Relative Consistency Proofby Joseph R. Shoenfield

Year:
1957
Language:
english
File:
PDF, 134 KB
english, 1957
26

A Theory of Setsby Anthony P. Morse

Year:
1968
Language:
english
File:
PDF, 202 KB
english, 1968
27

Effective Operations in a General Settingby A. H. Lachlan

Year:
1966
Language:
english
File:
PDF, 210 KB
english, 1966
28

Principles of Reflection in Axiomatic Set Theoryby A. Lévy

Year:
1965
Language:
english
File:
PDF, 195 KB
english, 1965
29

Axioms of Multiple Choiceby A. Lévy

Year:
1965
Language:
english
File:
PDF, 208 KB
english, 1965
30

Foundations of Set Theoryby Abraham A. Fraenkel; Yehoshua Bar-Hillel

Year:
1964
Language:
english
File:
PDF, 201 KB
english, 1964
31

Hüllensysteme und Erweiterung von Quasi-Ordnungen.by B. Banaschewski

Year:
1962
Language:
english
File:
PDF, 141 KB
english, 1962
33

Theory of Algorithmsby A. A. Markov

Year:
1962
Language:
english
File:
PDF, 104 KB
english, 1962
34

Recursive Functions over Well-Ordered Partial Orderingsby Hartley Rogers, Jr

Year:
1962
Language:
english
File:
PDF, 140 KB
english, 1962
35

The U-Quantifierby A. H. Lachlan

Year:
1962
Language:
english
File:
PDF, 105 KB
english, 1962
37

A Simple Version of the Generalized Continuum Hypothesisby Rolf Schock

Year:
1970
Language:
english
File:
PDF, 201 KB
english, 1970
38

Introduction to Set Theory.by J. Donald Monk

Year:
1973
Language:
english
File:
PDF, 221 KB
english, 1973
39

Degrees of Classes of RE Sets

Year:
1976
Language:
english
File:
PDF, 96 KB
english, 1976
40

A Mathematical Introduction to Logic.by Herbert B. Enderton

Year:
1973
Language:
english
File:
PDF, 129 KB
english, 1973
41

On a Set Theory of Bernays.by Leslie H. Tharp

Year:
1971
Language:
english
File:
PDF, 151 KB
english, 1971
42

Forcing with Perfect Closed Sets.by Gerald E. Sacks

Year:
1974
Language:
english
File:
PDF, 209 KB
english, 1974
44

Theory of Recursive Functions and Effective Computability (Hartley Rogers, Jr.)

Year:
1969
Language:
english
File:
PDF, 271 KB
english, 1969
45

The Class of Recursive Functions

Year:
1958
Language:
english
File:
PDF, 136 KB
english, 1958
46

Theory of Recursive Functions and Effective Computability.by Hartley Rogers,

Year:
1969
Language:
english
File:
PDF, 294 KB
english, 1969
47

An Uncountable Set of Incomparable Degrees

Year:
1960
Language:
english
File:
PDF, 110 KB
english, 1960
48

On Transfinite Iterationby B. Banaschewski

Year:
1962
Language:
english
File:
PDF, 126 KB
english, 1962
50

Quasicreative sets

Year:
1957
Language:
english
File:
PDF, 319 KB
english, 1957